-
1 доказуемая непротиворечивость
Большой англо-русский и русско-английский словарь > доказуемая непротиворечивость
-
2 доказуемая непротиворечивость
Mathematics: demonstrable consistencyУниверсальный русско-английский словарь > доказуемая непротиворечивость
-
3 доказуемая непротиворечивость
Русско-английский научно-технический словарь Масловского > доказуемая непротиворечивость
-
4 demonstrable consistency
Англо-русский словарь по исследованиям и ноу-хау > demonstrable consistency
-
5 demonstrable consistency
Большой англо-русский и русско-английский словарь > demonstrable consistency
-
6 demonstrable consistency
Математика: доказуемая непротиворечивостьУниверсальный англо-русский словарь > demonstrable consistency
-
7 demonstrable
-
8 demonstrable consistency
English-Russian scientific dictionary > demonstrable consistency
См. также в других словарях:
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
ПРОТИВОРЕЧИЯ ЗАКОН — 1) Один из осн. принципов логич. рассуждения, согласно к рому никакое предложение не может быть одновременно истинным и ложным (или: не могут быть одновременно истинными нек рое предложение и его отрицание). 2) Тождественно истинная (см.… … Философская энциклопедия
Аксиоматика теории множеств — Сюда перенаправляется запрос «Теория Цермело Френкеля». На эту тему нужна отдельная статья. Современная теория множеств строится на системе аксиом утверждений, принимаемых без доказательства, из которых выводятся все теоремы и у … Википедия
ZFC — Современная теория множеств строится на системе аксиом утверждений, принимаемых без доказательства, из которых выводятся все теоремы и утверждения теории множеств. Система аксиом Цермело Френкеля (ZF) является стандартной системой аксиом для… … Википедия